-
1 разрешающая процедура
разрешающая процедура
эффективная процедура
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > разрешающая процедура
-
2 разрешающая процедура
Большой англо-русский и русско-английский словарь > разрешающая процедура
-
3 разрешающая процедура
Logics: decision procedureУниверсальный русско-английский словарь > разрешающая процедура
-
4 разрешающая процедура
adjmath. EntscheidungsverfahrenУниверсальный русско-немецкий словарь > разрешающая процедура
-
5 разрешающая процедура
Dictionnaire russe-français universel > разрешающая процедура
-
6 разрешающая процедура
decision procedure лог.Русско-английский словарь по вычислительной технике и программированию > разрешающая процедура
-
7 разрешающая процедура
decision procedure мат.Русско-английский научно-технический словарь Масловского > разрешающая процедура
-
8 резолюция как частичная разрешающая процедура
Programming: resolution as partial decision procedureУниверсальный русско-английский словарь > резолюция как частичная разрешающая процедура
-
9 decision procedure
метод решения
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
разрешающая процедура
эффективная процедура
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > decision procedure
-
10 decision procedure
разрешающая процедура; см. тж. recursive solutionАнгло-русский словарь промышленной и научной лексики > decision procedure
-
11 recursive solution
разрешающая процедура; см. также decision procedureАнгло-русский словарь промышленной и научной лексики > recursive solution
-
12 decision procedure
[dɪ'sɪʒ(ə)nprə'siːdʒə]1) Общая лексика: автоматический анализ, алгоритм2) Экономика: процесс принятия решений3) Лингвистика: процедура выбора, процедура распознавания4) Логика: разрешающая процедура5) Электроника: алгорифм6) Вычислительная техника: метод решения, процедура принятия решений7) Специальный термин: процедура принятия решения8) Робототехника: решающее правило -
13 decision procedure
процесс принятия решений Syn: decision-making process
1. процедура принятия решений
2. лог. разрешающая процедура, алгоритм( специальное) процедура принятия решения;
алгоритм процедура распознавания;
автоматический анализ - * for sentences автоматический (синтаксический) анализ предложений, процедура распознавания синтаксических структурБольшой англо-русский и русско-английский словарь > decision procedure
-
14 Entscheidungsverfahren
сущ.1) матем. разрешающая процедура2) лингв. решающая процедура3) бизн. процедура принятия решения, способ решения, метод решенияУниверсальный немецко-русский словарь > Entscheidungsverfahren
-
15 decision procedure
1) процедура принятия решений; решающая процедура2) лог. разрешающая процедура, алгоритмEnglish-Russian dictionary of computer science and programming > decision procedure
-
16 procédure de décision
сущ.выч. процедура (принятия) решения, разрешающая процедураФранцузско-русский универсальный словарь > procédure de décision
-
17 resolution as partial decision procedure
Программирование: резолюция как частичная разрешающая процедураУниверсальный англо-русский словарь > resolution as partial decision procedure
-
18 Entscheidungsverfahren
(n)разрешающая процедураНемецко-русский математический словарь > Entscheidungsverfahren
-
19 Entscheidungsverfahren
(n)разрешающая процедураметод решенияDeutsch-Russische Wörterbuch von Messgeräten > Entscheidungsverfahren
-
20 decision procedure
мат.разрешающая процедура, алгоритм
- 1
- 2
См. также в других словарях:
разрешающая процедура — эффективная процедура — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы эффективная процедура EN decision procedure … Справочник технического переводчика
разрешающая процедура — см.: Разрешения проблема … Словарь терминов логики
Проблема разрешимости — Проблема разрешимости вопрос, сформулированный в рамках какой либо формальной системы, требующий ответа «да» или «нет», возможно, зависящего от значений некоторых входных параметров. Например, проблема «дано два числа x и y, делится ли x на … Википедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ПРАГМАТИКА — (от греч. , род. падеж дело, действие), раздел семиотики, посвящённый изучению отношения интерпретатора пользователя к. л. знаковой системы (т. е. субъектов, воспринимающих и использующих её) к самой знаковой системе. Осн. идеи П.… … Философская энциклопедия
НЕРАЗРЕШИМОСТИ СТЕПЕНЬ — класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда ( , если ). Иначе говоря, два множества принадлежат одной Н. с, если для каждого из них существует эффективная разрешающая процедура при… … Математическая энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ — СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ созданная Э. Бэтом формальная разрешающая процедура для формул логики высказываний и логики предикатов. Семантическая таблица состоит из двух (сопряженных) столбцов: в левом столбце пишутся формулы, соответствующие… … Философская энциклопедия
ГОСТ Р ИСО 9000-2001: Системы менеджмента качества. Основные положения и словарь — Терминология ГОСТ Р ИСО 9000 2001: Системы менеджмента качества. Основные положения и словарь оригинал документа: 3.8.7 анализ (en review; fr revue): Деятельность, предпринимаемая для установления пригодности, адекватности, результативности… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р ИСО 9000-2008: Системы менеджмента качества. Основные положения и словарь — Терминология ГОСТ Р ИСО 9000 2008: Системы менеджмента качества. Основные положения и словарь оригинал документа: 3.8.7 анализ (review): Деятельность, предпринимаемая для установления пригодности, адекватности и результативности (3.2.14)… … Словарь-справочник терминов нормативно-технической документации
ГОСТ ISO 9000-2011: Системы менеджмента качества. Основные положения и словарь — Терминология ГОСТ ISO 9000 2011: Системы менеджмента качества. Основные положения и словарь: 3.8.7 анализ (review): Деятельность, предпринимаемая для установления пригодности, адекватности и результативности (3.2.14) рассматриваемого объекта для… … Словарь-справочник терминов нормативно-технической документации